21

Proving optimizations correct using parameterized program equivalence

Year:
2009
Language:
english
File:
PDF, 481 KB
english, 2009
22

Automating formal proofs for reactive systems

Year:
2014
Language:
english
File:
PDF, 443 KB
english, 2014
30

Equality saturation

Year:
2009
Language:
english
File:
PDF, 309 KB
english, 2009
31

Bringing extensibility to verified compilers

Year:
2010
Language:
english
File:
PDF, 820 KB
english, 2010